Discrete time stochastic and deterministic Petri box calculus dtsdPBC
نویسندگان
چکیده
منابع مشابه
Stochastic Petri Box Calculus with Discrete Time
In the last decades, a number of stochastic enrichments of process algebras was constructed to allow one for specification of stochastic processes within the well-developed framework of algebraic calculi. In [40], a continuous time stochastic extension of finite Petri box calculus (PBC) was proposed called sPBC. The algebra sPBC has interleaving semantics due to the properties of continuous tim...
متن کاملDiscrete time stochastic Petri box calculus ∗ Igor
Last decade, a number of stochastic enrichments of process algebras was constructed to facilitate the specification of stochastic processes based on the the well-developed framework of algebraic calculi. In [56], a continuous time stochastic extension of finite PBC was proposed called sPBC. Algebra sPBC has interleaving semantics due to the properties of continuous time distributions. At the sa...
متن کاملDiscrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC
We propose discrete time stochastic Petri box calculus extended with immediate multiactions, called dtsiPBC. The step operational semantics is constructed via labeled probabilistic transition systems. The denotational semantics is defined via labeled discrete time stochastic Petri nets with immediate transitions (LDTSIPNs). A consistency of both semantics is demonstrated. In order to evaluate p...
متن کاملIteration in discrete time stochastic Petri box calculus
In the last decades, a number of stochastic enrichments of process algebras was constructed to specify stochastic processes within the well-developed framework of algebraic calculi. In [26], a continuous time stochastic extension of finite Petri box calculus (PBC) was proposed and called sPBC. The algebra sPBC has interleaving semantics due to the properties of continuous time distributions. Th...
متن کاملDiscrete Deterministic and Stochastic Petri
Petri nets augmented with timing speciications gained a wide acceptance in the area of performance and reliability evaluation of complex systems exhibiting concurrency, synchronization , and connicts. The state space of time-extended Petri nets is mapped onto its basic underlying stochastic process, which can be shown to be Markovian under the assumption of exponentially distributed ring times....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sibirskie Elektronnye Matematicheskie Izvestiya
سال: 2020
ISSN: 1813-3304
DOI: 10.33048/semi.2020.17.112